/* Initial beliefs	*/
robo(4).
/* Initial goal */
!start.
!defender.
/* Plans */
+!start : true <- bloqueie(0).

+!defender : robo(X, pegouRefem) & robo(X) <- ataque; !!defender.
+!defender : roboInimigo(X,pegouRefem) & not robo(3, bloqueando, X)  <- bloqueie(X); !!defender.
+!defender : robo(4, bloqueando, X) & roboInimigo(X,atacando) & not X = 0 <- bloqueie(X); !!defender.
+!defender : roboInimigo(X,pertoRefem) <- bloqueie(X); !!defender.
+!defender : roboInimigo(X,atacando)  <- bloqueie(X); !!defender.
+!defender : true <- bloqueie(0) ; !!defender.